161. Proof analysis
المؤلف: / Sara Negri, Jan von Plato
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Proof theory
رده :
E-BOOK
162. Proof and proving in mathematics education :
المؤلف: Gila Hanna, Michael de Villiers, editors.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Mathematics-- Study and teaching.,Proof theory-- Study and teaching.
رده :
QA9
.
54
.
P766
2012
163. Proof and system-reliability
المؤلف: edited by Helmut Schwichtenberg and Ralf Steinbrüggen.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer systems -- Reliability -- Congresses.,Computer systems -- Reliability.,Proof theory -- Congresses.
164. Proof complexity
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Proof theory. ; Computational complexity. ;
165. Proof in mathematics Eduction research,learning and teaching
المؤلف: David Reid ,Christine knipping
المکتبة: (کرمان)
موضوع: Proof theory
رده :
QA
9
.
54
.
P76
166. Proof, logic, and formalizatio
المؤلف: / edited by Michael Detlefsen
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Proof theory.,Logic, Symbolic and mathematical.
رده :
QA
,
9
.
54
,.
P77
,
1991
,
WEB
167. Proof, logic, and formalization
المؤلف: edited by Michael Detlefsen
المکتبة: (طهران)
موضوع: ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
P75
168. Proof, logic and formalization
المؤلف:
المکتبة: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (أذربایجان الشرقیة)
موضوع: Proof theory,Logic, Symbolic and mathematical
رده :
QA
,
9
.
54
,.
P77
,
1992
169. Proof, logic, and formalization
المؤلف: edited by Michael Detlefsen
المکتبة: كتابخانه دانشگاه مفيد (قم)
موضوع: ، Proof theory,، Logic, Symbolic and mathematical,، Logique symbolique et math?شmatique,، Math?شmatiques - Philosophie,، Preuve, Th?شorie de la,، Aufsatzsammlung
رده :
QA9
.
54
.
P77
1991
170. Proof, logic, and formalization
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Philosophie ; Preuve, Th?orie de la ; -Proof theory ; Logic, Symbolic and mathematical ; Logique symbolique et math?matique ; Math?matiques
171. Proof theory
پدیدآورنده : Takeuti, Gaisi
موضوع : ، Proof theory
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
172. Proof theory
المؤلف: / Kurt Schutte
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Proof theory
رده :
511
.
3
S385
173. #Proof theory
المؤلف: #Kurt Schutte , translation from the German by J. N. Crossley
المکتبة: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع: Proof theory
رده :
#
QA
،#.
S3813
174. Proof theory /
المؤلف: Gaisi Takeuti
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Proof theory
رده :
QA9
.
54
.
T34
1975
175. Proof theory :
المؤلف: edited by Peter Aczel, Harold Simmons, and Stanley S. Wainer
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Proof theory
رده :
QA9
.
54
.
L44
1990
177. Proof theory
المؤلف: Schutte, Kurt
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Proof theory
رده :
QA
9
.
54
.
S3813
178. Proof theory
المؤلف: Takeuti, Gaisi
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Proof theory
رده :
QA
9
.
54
.
T34
1975
179. Proof theory, Beweistheorie.English
المؤلف: Schutte, K.)Kurt(, Kurt Schutte ; translation from the German by J. N. Crossley
المکتبة: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Proof theory
رده :
QA
9
.
54
.
S3813
180. Proof theory : a selection of papers from the Leeds Proof Theory Programme, 1990
المؤلف: edited by Peter Aczel, Harold Simmons, and Stanley S. Wainer
المکتبة: (طهران)
موضوع: ، Proof theory
رده :
QA
9
.
54
.
L4
1990
